2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 197 325 197 0 230 396 341 215

N.S.

1 1.13 1.86 1.13 0.00 1.31 2.26 1.95 1.23

time (sec)

N/A 1.368 3.196 2.026 0.000 0.254 0.406 0.278 1.464

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 87 109 95 98 96 175 87 94

N.S.

1 1.05 1.31 1.14 1.18 1.16 2.11 1.05 1.13

time (sec)

N/A 0.331 0.127 1.362 0.182 0.258 0.195 0.275 1.019

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 29 0 249 0 31 32

N.S.

1 1.00 1.06 0.94 0.00 8.03 0.00 1.00 1.03

time (sec)

N/A 0.252 32.676 0.898 0.000 0.253 0.000 0.339 1.086

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 29 0 327 0 31 32

N.S.

1 1.00 1.06 0.94 0.00 10.55 0.00 1.00 1.03

time (sec)

N/A 0.249 15.866 0.907 0.000 0.255 0.000 0.482 1.207

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 325 341 1034 580 1000 0 0 0

N.S.

1 1.04 1.09 3.30 1.85 3.19 0.00 0.00 0.00

time (sec)

N/A 1.956 2.588 1.981 0.380 0.271 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 236 275 573 347 559 0 0 0

N.S.

1 1.05 1.23 2.56 1.55 2.50 0.00 0.00 0.00

time (sec)

N/A 1.392 1.867 1.777 0.359 0.263 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 132 257 211 0 211 0 0 0

N.S.

1 1.05 2.04 1.67 0.00 1.67 0.00 0.00 0.00

time (sec)

N/A 0.705 2.225 1.689 0.000 0.258 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 50 52 36 62 57 0 48 56

N.S.

1 1.22 1.27 0.88 1.51 1.39 0.00 1.17 1.37

time (sec)

N/A 0.319 0.051 1.060 0.194 0.246 0.000 0.275 1.643

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 27 169 235 39 29 32

N.S.

1 1.00 1.07 0.93 5.83 8.10 1.34 1.00 1.10

time (sec)

N/A 0.242 35.039 0.780 0.374 0.254 14.904 17.160 1.346

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 27 277 341 71 0 32

N.S.

1 1.00 1.07 0.93 9.55 11.76 2.45 0.00 1.10

time (sec)

N/A 0.232 43.145 0.862 0.461 0.272 168.504 0.000 1.707

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B F F F(-1)

verified

N/A N/A No Yes TBD TBD TBD TBD TBD

size

419 0 1205 1604 939 2562 0 0 0

N.S.

1 0.00 2.88 3.83 2.24 6.11 0.00 0.00 0.00

time (sec)

N/A 0.000 8.704 3.171 0.421 0.296 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B F F F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

296 0 803 889 601 1355 0 0 0

N.S.

1 0.00 2.71 3.00 2.03 4.58 0.00 0.00 0.00

time (sec)

N/A 0.000 8.081 2.523 0.419 0.275 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 175 366 334 0 506 0 0 0

N.S.

1 1.07 2.25 2.05 0.00 3.10 0.00 0.00 0.00

time (sec)

N/A 1.194 3.076 2.074 0.000 0.271 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 59 61 63 109 146 0 90 122

N.S.

1 1.04 1.07 1.11 1.91 2.56 0.00 1.58 2.14

time (sec)

N/A 0.439 0.164 1.602 0.199 0.255 0.000 0.290 2.255

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 29 330 342 41 0 32

N.S.

1 1.00 1.06 0.94 10.65 11.03 1.32 0.00 1.03

time (sec)

N/A 0.253 70.539 0.689 0.512 0.268 15.969 0.000 1.280

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 29 477 500 0 0 32

N.S.

1 1.00 1.06 0.94 15.39 16.13 0.00 0.00 1.03

time (sec)

N/A 0.253 82.980 0.849 0.706 0.284 0.000 0.000 1.471

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B F(-1) F F(-1)

verified

N/A N/A No Yes TBD TBD TBD TBD TBD

size

546 0 2585 2124 1320 4252 0 0 0

N.S.

1 0.00 4.73 3.89 2.42 7.79 0.00 0.00 0.00

time (sec)

N/A 0.000 90.159 3.278 0.523 0.315 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B F F F(-1)

verified

N/A N/A No Yes TBD TBD TBD TBD TBD

size

368 0 1496 1147 863 2215 0 0 0

N.S.

1 0.00 4.07 3.12 2.35 6.02 0.00 0.00 0.00

time (sec)

N/A 0.000 8.799 2.778 0.464 0.282 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B F B F F F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

214 0 461 441 0 817 0 0 0

N.S.

1 0.00 2.15 2.06 0.00 3.82 0.00 0.00 0.00

time (sec)

N/A 0.000 3.545 2.377 0.000 0.283 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 97 90 91 156 234 0 97 132

N.S.

1 1.11 1.03 1.05 1.79 2.69 0.00 1.11 1.52

time (sec)

N/A 0.583 0.355 1.361 0.204 0.261 0.000 0.284 1.424

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 0 29 775 903 41 0 32

N.S.

1 1.00 0.00 0.94 25.00 29.13 1.32 0.00 1.03

time (sec)

N/A 0.255 0.000 0.913 0.816 0.292 42.900 0.000 4.639

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 0 29 975 1144 0 0 32

N.S.

1 1.00 0.00 0.94 31.45 36.90 0.00 0.00 1.03

time (sec)

N/A 0.262 0.000 0.953 1.184 0.323 0.000 0.000 7.164

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

453 399 608 0 0 1112 0 0 0

N.S.

1 0.88 1.34 0.00 0.00 2.45 0.00 0.00 0.00

time (sec)

N/A 1.740 1.087 0.000 0.000 0.278 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

337 305 367 0 0 782 0 0 0

N.S.

1 0.91 1.09 0.00 0.00 2.32 0.00 0.00 0.00

time (sec)

N/A 1.352 0.771 0.000 0.000 0.256 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 211 189 440 0 500 0 0 0

N.S.

1 0.96 0.86 2.00 0.00 2.27 0.00 0.00 0.00

time (sec)

N/A 0.885 0.567 1.525 0.000 0.270 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

54 61 64 82 85 186 269 84 121

N.S.

1 1.13 1.19 1.52 1.57 3.44 4.98 1.56 2.24

time (sec)

N/A 0.313 0.301 0.812 0.297 0.253 31.846 0.297 1.602

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 26 88 34 0 28 28

N.S.

1 1.00 1.08 1.00 3.38 1.31 0.00 1.08 1.08

time (sec)

N/A 0.227 2.479 0.365 0.318 0.249 0.000 0.409 0.947

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

551 501 979 0 0 2612 0 0 0

N.S.

1 0.91 1.78 0.00 0.00 4.74 0.00 0.00 0.00

time (sec)

N/A 2.855 1.895 0.000 0.000 0.341 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

407 376 453 0 0 1689 0 0 0

N.S.

1 0.92 1.11 0.00 0.00 4.15 0.00 0.00 0.00

time (sec)

N/A 2.116 1.881 0.000 0.000 0.301 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 258 261 510 0 946 0 0 0

N.S.

1 0.98 0.99 1.93 0.00 3.58 0.00 0.00 0.00

time (sec)

N/A 1.282 2.748 1.889 0.000 0.270 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B B A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

71 79 74 121 119 331 1748 111 166

N.S.

1 1.11 1.04 1.70 1.68 4.66 24.62 1.56 2.34

time (sec)

N/A 0.425 1.111 0.922 0.275 0.261 176.255 0.315 1.086

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 158 36 0 30 30

N.S.

1 1.00 1.07 1.00 5.64 1.29 0.00 1.07 1.07

time (sec)

N/A 0.259 9.307 0.848 0.344 0.237 0.000 0.455 0.998

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A F F B F(-1) F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

712 0 1407 0 0 5191 0 0 0

N.S.

1 0.00 1.98 0.00 0.00 7.29 0.00 0.00 0.00

time (sec)

N/A 0.000 4.151 0.000 0.000 0.360 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A F F B F(-1) F F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

522 0 740 0 0 3247 0 0 0

N.S.

1 0.00 1.42 0.00 0.00 6.22 0.00 0.00 0.00

time (sec)

N/A 0.000 4.102 0.000 0.000 0.325 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

335 325 306 589 0 1727 0 0 0

N.S.

1 0.97 0.91 1.76 0.00 5.16 0.00 0.00 0.00

time (sec)

N/A 1.743 5.507 1.734 0.000 0.309 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F(-1) A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

107 124 101 191 164 601 0 151 212

N.S.

1 1.16 0.94 1.79 1.53 5.62 0.00 1.41 1.98

time (sec)

N/A 0.644 3.127 1.074 0.303 0.256 0.000 0.304 1.180

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 236 36 0 30 30

N.S.

1 1.00 1.07 1.00 8.43 1.29 0.00 1.07 1.07

time (sec)

N/A 0.264 11.113 0.664 0.405 0.263 0.000 0.531 1.079

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

605 558 734 0 0 1645 0 0 0

N.S.

1 0.92 1.21 0.00 0.00 2.72 0.00 0.00 0.00

time (sec)

N/A 2.453 1.734 0.000 0.000 0.292 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

433 406 454 0 0 1096 0 0 0

N.S.

1 0.94 1.05 0.00 0.00 2.53 0.00 0.00 0.00

time (sec)

N/A 1.925 1.233 0.000 0.000 0.287 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 258 267 532 0 649 0 0 0

N.S.

1 0.99 1.02 2.04 0.00 2.49 0.00 0.00 0.00

time (sec)

N/A 1.202 2.062 2.254 0.000 0.278 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

64 70 82 63 112 223 0 102 347

N.S.

1 1.09 1.28 0.98 1.75 3.48 0.00 1.59 5.42

time (sec)

N/A 0.365 0.753 1.000 0.272 0.276 0.000 0.297 1.202

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 26 28 34 22 0 30

N.S.

1 1.00 1.08 1.00 1.08 1.31 0.85 0.00 1.15

time (sec)

N/A 0.237 4.598 0.908 0.436 0.263 5.750 0.000 0.993

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B F F B F F(-1) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

745 715 1493 0 0 6416 0 0 0

N.S.

1 0.96 2.00 0.00 0.00 8.61 0.00 0.00 0.00

time (sec)

N/A 4.426 8.539 0.000 0.000 0.386 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F B F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

535 523 920 0 0 3805 0 0 0

N.S.

1 0.98 1.72 0.00 0.00 7.11 0.00 0.00 0.00

time (sec)

N/A 2.991 7.987 0.000 0.000 0.327 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

306 303 350 626 0 1830 0 0 0

N.S.

1 0.99 1.14 2.05 0.00 5.98 0.00 0.00 0.00

time (sec)

N/A 1.641 5.912 1.625 0.000 0.312 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

80 89 113 97 137 479 0 123 360

N.S.

1 1.11 1.41 1.21 1.71 5.99 0.00 1.54 4.50

time (sec)

N/A 0.515 1.820 0.767 0.287 0.283 0.000 0.338 0.442

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 304 36 24 0 30

N.S.

1 1.00 1.07 1.00 10.86 1.29 0.86 0.00 1.07

time (sec)

N/A 0.265 92.953 0.848 0.568 0.296 6.033 0.000 1.150

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B F F B F(-1) F(-1) F(-1)

verified

N/A N/A No N/A TBD TBD TBD TBD TBD

size

1053 0 2801 0 0 18159 0 0 0

N.S.

1 0.00 2.66 0.00 0.00 17.25 0.00 0.00 0.00

time (sec)

N/A 0.000 9.459 0.000 0.000 0.584 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B F F B F F(-1) F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

725 0 1532 0 0 10341 0 0 0

N.S.

1 0.00 2.11 0.00 0.00 14.26 0.00 0.00 0.00

time (sec)

N/A 0.000 8.242 0.000 0.000 0.398 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B F B F F(-1) F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

420 0 617 861 0 4720 0 0 0

N.S.

1 0.00 1.47 2.05 0.00 11.24 0.00 0.00 0.00

time (sec)

N/A 0.000 8.416 1.953 0.000 0.350 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

113 138 167 142 211 1203 0 176 776

N.S.

1 1.22 1.48 1.26 1.87 10.65 0.00 1.56 6.87

time (sec)

N/A 0.903 2.437 0.878 0.278 0.299 0.000 0.301 1.569

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 757 36 24 0 30

N.S.

1 1.00 1.07 1.00 27.04 1.29 0.86 0.00 1.07

time (sec)

N/A 0.256 77.769 0.566 0.957 0.303 17.855 0.000 1.473

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 118 647 264 299 0 0 0

N.S.

1 1.00 0.85 4.65 1.90 2.15 0.00 0.00 0.00

time (sec)

N/A 0.717 0.053 6.173 0.291 0.250 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 107 94 405 164 184 0 0 0

N.S.

1 1.01 0.89 3.82 1.55 1.74 0.00 0.00 0.00

time (sec)

N/A 0.561 0.031 2.900 0.285 0.255 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 76 66 188 0 91 0 0 0

N.S.

1 1.04 0.90 2.58 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.374 0.022 1.832 0.000 0.252 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 24 23 38 20 23 22 30 19

N.S.

1 1.04 1.00 1.65 0.87 1.00 0.96 1.30 0.83

time (sec)

N/A 0.197 0.012 0.965 0.186 0.240 0.104 0.274 0.974

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 27 48 40 39 29 30

N.S.

1 1.00 1.07 0.93 1.66 1.38 1.34 1.00 1.03

time (sec)

N/A 0.228 6.357 0.506 0.270 0.241 4.972 0.293 1.027

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 27 75 64 71 29 30

N.S.

1 1.00 1.07 0.93 2.59 2.21 2.45 1.00 1.03

time (sec)

N/A 0.225 26.406 0.489 0.294 0.245 22.514 0.353 1.101

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 111 106 266 373 263 518 355 269

N.S.

1 1.03 0.98 2.46 3.45 2.44 4.80 3.29 2.49

time (sec)

N/A 0.623 1.371 15.665 0.352 0.253 0.362 0.290 1.554

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 80 78 160 270 160 318 208 167

N.S.

1 0.98 0.95 1.95 3.29 1.95 3.88 2.54 2.04

time (sec)

N/A 0.482 0.945 6.809 0.314 0.234 0.290 0.281 1.314

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 57 70 188 76 167 96 87

N.S.

1 1.00 1.02 1.25 3.36 1.36 2.98 1.71 1.55

time (sec)

N/A 0.345 2.255 3.081 0.258 0.237 0.199 0.279 1.154

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 139 40 44 40 78 41 36

N.S.

1 1.00 6.32 1.82 2.00 1.82 3.55 1.86 1.64

time (sec)

N/A 0.208 0.121 2.845 0.223 0.235 0.130 0.276 0.964

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 62 103 76 79 0 76 0

N.S.

1 1.00 0.82 1.36 1.00 1.04 0.00 1.00 0.00

time (sec)

N/A 0.551 0.432 12.949 0.286 0.246 0.000 0.277 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 101 85 164 92 129 0 572 0

N.S.

1 0.98 0.83 1.59 0.89 1.25 0.00 5.55 0.00

time (sec)

N/A 0.669 0.545 29.965 0.332 0.254 0.000 0.324 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 223 134 429 0 405 1040 618 449

N.S.

1 0.97 0.58 1.86 0.00 1.75 4.50 2.68 1.94

time (sec)

N/A 1.182 1.857 34.932 0.000 0.248 0.595 0.293 1.873

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 154 99 241 0 227 631 338 271

N.S.

1 0.90 0.58 1.41 0.00 1.33 3.69 1.98 1.58

time (sec)

N/A 0.820 1.310 16.567 0.000 0.231 0.440 0.299 1.552

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 94 60 113 0 92 321 138 144

N.S.

1 0.96 0.61 1.15 0.00 0.94 3.28 1.41 1.47

time (sec)

N/A 0.549 2.714 6.805 0.000 0.238 0.304 0.280 1.313

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 27 28 30 60 49 133 55 29

N.S.

1 0.79 0.82 0.88 1.76 1.44 3.91 1.62 0.85

time (sec)

N/A 0.216 0.043 6.341 0.216 0.241 0.165 0.284 1.039

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 128 112 180 0 127 0 144 0

N.S.

1 0.98 0.85 1.37 0.00 0.97 0.00 1.10 0.00

time (sec)

N/A 1.061 0.516 33.333 0.000 0.241 0.000 0.281 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 187 212 299 0 226 0 1080 0

N.S.

1 1.04 1.18 1.66 0.00 1.26 0.00 6.00 0.00

time (sec)

N/A 1.391 0.695 117.283 0.000 0.245 0.000 0.348 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

463 442 828 1080 685 1461 0 0 0

N.S.

1 0.95 1.79 2.33 1.48 3.16 0.00 0.00 0.00

time (sec)

N/A 2.900 8.072 22.217 0.407 0.262 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

268 252 530 550 387 805 0 0 0

N.S.

1 0.94 1.98 2.05 1.44 3.00 0.00 0.00 0.00

time (sec)

N/A 1.672 5.797 9.474 0.396 0.250 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 151 400 218 0 352 0 0 0

N.S.

1 0.94 2.48 1.35 0.00 2.19 0.00 0.00 0.00

time (sec)

N/A 0.853 2.236 5.384 0.000 0.249 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 47 30 64 87 102 0 102 74

N.S.

1 1.12 0.71 1.52 2.07 2.43 0.00 2.43 1.76

time (sec)

N/A 0.249 0.036 3.741 0.222 0.260 0.000 0.276 1.910

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 27 327 391 39 29 32

N.S.

1 1.00 1.07 0.93 11.28 13.48 1.34 1.00 1.10

time (sec)

N/A 0.228 84.097 0.699 0.489 0.271 4.151 1.990 1.160

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 0 27 436 511 71 29 32

N.S.

1 1.00 0.00 0.93 15.03 17.62 2.45 1.00 1.10

time (sec)

N/A 0.236 0.000 1.038 0.614 0.257 30.129 32.952 1.211

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

450 443 1078 1021 730 1405 0 0 0

N.S.

1 0.98 2.40 2.27 1.62 3.12 0.00 0.00 0.00

time (sec)

N/A 2.818 8.475 89.800 0.487 0.266 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 310 575 510 0 714 0 0 0

N.S.

1 0.95 1.77 1.57 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 1.930 4.610 24.633 0.000 0.253 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 151 194 143 251 201 0 260 205

N.S.

1 0.96 1.23 0.91 1.59 1.27 0.00 1.65 1.30

time (sec)

N/A 0.970 2.755 11.562 0.259 0.258 0.000 0.278 3.458

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 43 104 54 0 59 43

N.S.

1 1.00 1.00 0.91 2.21 1.15 0.00 1.26 0.91

time (sec)

N/A 0.297 0.046 10.224 0.221 0.235 0.000 0.270 1.218

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 0 29 632 768 41 31 32

N.S.

1 1.00 0.00 0.94 20.39 24.77 1.32 1.00 1.03

time (sec)

N/A 0.258 0.000 1.090 0.657 0.260 4.187 53.274 1.392

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 0 29 762 919 73 0 32

N.S.

1 1.00 0.00 0.94 24.58 29.65 2.35 0.00 1.03

time (sec)

N/A 0.253 0.000 0.893 0.902 0.254 31.370 0.000 1.430

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B F(-2) B F F F(-1)

verified

N/A N/A No Yes TBD TBD TBD TBD TBD

size

667 0 2008 1909 0 3854 0 0 0

N.S.

1 0.00 3.01 2.86 0.00 5.78 0.00 0.00 0.00

time (sec)

N/A 0.000 9.268 188.518 0.000 0.292 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

423 400 1363 961 0 2066 0 0 0

N.S.

1 0.95 3.22 2.27 0.00 4.88 0.00 0.00 0.00

time (sec)

N/A 2.831 8.179 87.451 0.000 0.287 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 219 617 396 0 917 0 0 0

N.S.

1 0.94 2.65 1.70 0.00 3.94 0.00 0.00 0.00

time (sec)

N/A 1.150 4.016 25.566 0.000 0.266 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 93 101 125 0 287 0 173 137

N.S.

1 1.02 1.11 1.37 0.00 3.15 0.00 1.90 1.51

time (sec)

N/A 0.282 0.080 24.693 0.000 0.248 0.000 0.349 1.819

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 33 29 0 1783 41 31 32

N.S.

1 1.00 1.06 0.94 0.00 57.52 1.32 1.00 1.03

time (sec)

N/A 0.257 51.852 0.782 0.000 0.305 8.770 150.912 1.911

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) F(-1) F(-2) N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

31 31 0 0 0 2026 73 0 32

N.S.

1 1.00 0.00 0.00 0.00 65.35 2.35 0.00 1.03

time (sec)

N/A 0.267 0.000 180.000 0.000 0.318 31.246 0.000 2.049

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

356 358 329 0 0 882 0 0 0

N.S.

1 1.01 0.92 0.00 0.00 2.48 0.00 0.00 0.00

time (sec)

N/A 1.398 0.118 0.000 0.000 0.268 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

264 264 244 0 0 609 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 2.31 0.00 0.00 0.00

time (sec)

N/A 1.013 0.107 0.000 0.000 0.242 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 157 412 0 380 0 0 0

N.S.

1 1.00 0.92 2.42 0.00 2.24 0.00 0.00 0.00

time (sec)

N/A 0.617 0.029 1.470 0.000 0.260 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 19 18 44 41 33 18

N.S.

1 1.00 1.00 1.06 1.00 2.44 2.28 1.83 1.00

time (sec)

N/A 0.198 0.007 0.434 0.184 0.234 0.825 0.299 0.912

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 26 93 34 0 28 28

N.S.

1 1.00 1.08 1.00 3.58 1.31 0.00 1.08 1.08

time (sec)

N/A 0.220 5.340 0.306 0.302 0.245 0.000 0.350 0.999

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

527 501 933 0 0 2020 0 0 0

N.S.

1 0.95 1.77 0.00 0.00 3.83 0.00 0.00 0.00

time (sec)

N/A 2.529 1.551 0.000 0.000 0.290 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

389 376 447 0 0 1313 0 0 0

N.S.

1 0.97 1.15 0.00 0.00 3.38 0.00 0.00 0.00

time (sec)

N/A 1.870 1.409 0.000 0.000 0.272 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 258 258 901 0 742 0 0 0

N.S.

1 1.02 1.02 3.58 0.00 2.94 0.00 0.00 0.00

time (sec)

N/A 1.115 1.606 2.427 0.000 0.274 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B B A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

68 71 458 122 116 259 503 110 121

N.S.

1 1.04 6.74 1.79 1.71 3.81 7.40 1.62 1.78

time (sec)

N/A 0.439 1.047 1.466 0.274 0.245 125.598 0.291 1.174

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 28 166 36 0 30 30

N.S.

1 1.00 1.07 1.00 5.93 1.29 0.00 1.07 1.07

time (sec)

N/A 0.264 9.765 0.604 0.332 0.243 0.000 0.427 0.983

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

642 591 1977 0 0 4371 0 0 0

N.S.

1 0.92 3.08 0.00 0.00 6.81 0.00 0.00 0.00

time (sec)

N/A 3.547 10.712 0.000 0.000 0.310 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

477 428 1253 0 0 2726 0 0 0

N.S.

1 0.90 2.63 0.00 0.00 5.71 0.00 0.00 0.00

time (sec)

N/A 2.336 9.311 0.000 0.000 0.296 0.000 0.000 0.000